#include "f1.h"
#include <stdio.h>
void f1()
{
  printf("f1\n");
}
